Translating Exclusive Propositions Into Standard Form